

\functions {
	int a; int b; int c; int d;
}

\problem {
	(a >= 0 & a < 10)
<->
	( a = 0 | a = 1 | a = 3 | a = 4 | a = 5 | a = 6 | a = 7 | a = 8 | a = 9 )
}


